well-formed set
英 [wel fɔːmd set]
美 [wel fɔːrmd set]
【计】良基集，整序集
双语例句
- A logical form is a well-formed formula, a structured set of constituents, which undergoes formal logical operations determined by its structure.
一个逻辑形式就是一个完整的公式、一套有结构的构成成分以及要经过由其结构决定的形式逻辑运作。 - A well-formed derivation set is a formal denotation of a partial SLD-tree.
语义域是collection的构成的完备格，collection是将目标映射到合式推导集合的部分函数，可以看作是一个目标在推导过程中得到的部分SLD树。 - The basic concept in SLD derivation semantics is the well-formed derivation set.
SLD推导语义的基本概念是合式推导集合，合式推导集合是部分SLD树的形式化表示。